This article proposes the use of temporal logic for an analysis of instrumentality inspired by the work of G.H. von Wright. The first part of the article contains the philosophical foundations. We discuss von Wright’s general theory of agency and his account of instrumentality. Moreover, we propose several refinements to this framework via rigorous definitions of the core notions involved. In the second part, we develop a logical system called Temporal Logic of Action and Expectations (TLAE). The logic is inspired (...) by a fragment of propositional dynamic logic based on indeterministic time. The system is proven to be weakly complete relative to its given semantics. We then employ TLAE to formalise and analyse the instrumentality relations defined in the first part of the paper. Last, we point out philosophical implications and possible extensions of our work. (shrink)

STIT logic is a prominent framework for the analysis of multi-agent choice-making. In the available deontic extensions of STIT, the principle of Ought-implies-Can (OiC) fulfills a central role. However, in the philosophical literature a variety of alternative OiC interpretations have been proposed and discussed. This paper provides a modular framework for deontic STIT that accounts for a multitude of OiC readings. In particular, we discuss, compare, and formalize ten such readings. We provide sound and complete sequent-style calculi for all of (...) the various STIT logics accommodating these OiC principles. We formally analyze the resulting logics and discuss how the different OiC principles are logically related. In particular, we propose an endorsement principle describing which OiC readings logically commit one to other OiC readings. (shrink)

This work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision procedures and cut-free calculi for STIT logics. A new class of cut-free complete labelled sequent calculi G3LdmL^m_n, for multi-agent STIT with at most n-many choices, is introduced. We refine the calculi G3LdmL^m_n through the use of propagation rules and demonstrate the admissibility of their structural rules, resulting in auxiliary calculi Ldm^m_nL. In the single-agent case, we (...) show that the refined calculi Ldm^m_nL derive theorems within a restricted class of (forestlike) sequents, allowing us to provide proof-search algorithms that decide single-agent STIT logics. We prove that the proof-search algorithms are correct and terminate. (shrink)

This paper examines the conceptual and terminological overlap between theories and models of practical deliberation developed within the fields of Practical Reasoning (PR) and Practical Argumentation (PA). It carefully delineates the volitional, epistemic, normative, and social commitments invoked and explicates various rationales for attributing the label ‘practical’ to instances of reasoning and argumentation. Based on these analyses, the paper develops a new approach to practical deliberation called the Stakeholder Commitment Approach (SCA). By distinguishing between ‘problem holder’ and ‘problem solver’, and (...) specifying the distributions of attributable commitments among the stakeholders, the SCA introduces an extension and refinement of the grounds for assigning the label ‘practical’ that brings PR and PA closer together. (shrink)

Centered around the analysis of the prescriptive portion of the Vedas, the Sanskrit philosophical school of Mīmāṃsā provides a treasure trove of normative investigations. We focus on the leading Mīmāṃsā authors Prabhākara, Kumārila and Maṇḍana, and discuss three modal logics that formalize their deontic theories. In the first part of this paper, we use logic to analyze, compare and clarify the various solutions to the _śyena_ controversy, a two-thousand-year-old problem arising from seemingly conflicting commands in the Vedas. In the second (...) part, the formalized Mīmāṃsā theories are analyzed and employed to provide alternative perspectives on well-known paradoxes from the contemporary field of deontic logic. Thus, we go from logic to Mīmāṃsā and back again. (shrink)

We present cut-free labelled sequent calculi for a central formalism in logics of agency: STIT logics with temporal operators. These include sequent systems for Ldm , Tstit and Xstit. All calculi presented possess essential structural properties such as contraction- and cut-admissibility. The labelled calculi G3Ldm and G3Tstit are shown sound and complete relative to irreflexive temporal frames. Additionally, we extend current results by showing that also Xstit can be characterized through relational frames, omitting the use of BT+AC frames.

In this work we answer a long standing request for temporal embeddings of deontic STIT logics by introducing the multi-agent STIT logic TDS . The logic is based upon atemporal utilitarian STIT logic. Yet, the logic presented here will be neutral: instead of committing ourselves to utilitarian theories, we prove the logic TDS sound and complete with respect to relational frames not employing any utilitarian function. We demonstrate how these neutral frames can be transformed into utilitarian temporal frames, while preserving (...) validity. Last, we discuss problems that arise from employing binary utility functions in a temporal setting. (shrink)

We formally introduce a novel, yet ubiquitous, category of norms: norms of instrumentality. Norms of this category describe which actions are obligatory, or prohibited, as instruments for certain purposes. We propose the Logic of Agency and Norms (LAN) that enables reasoning about actions, instrumentality, and normative principles in a multi-agent setting. Leveraging LAN , we formalize norms of instrumentality and compare them to two prevalent norm categories: norms to be and norms to do. Last, we pose principles relating the three (...) categories and evaluate their validity vis-à-vis notions of deliberative acting. On a technical note, the logic will be shown decidable via the finite model property. (shrink)

Het denken van de Nederlandse filosoof Leo Polak (1880-1941) heeft nog altijd niet aan actualiteit ingeboet. Hij bepleitte hartstochtelijk de autonomie van de menselijke rede, worstelde met de grondslag van onze ethiek en wierp zich in een tijd van politieke massabewegingen en toenemende verzuiling op als kampioen van het vrije denken. Zelfs tijdens de Duitse bezetting hield hij vast aan zijn zelfstandig oordeel – een houding die hij eind 1941 met de dood in een concentratiekamp moest bekopen. Al die jaren (...) hield hij een dagboek bij, voor hem een essentieel middel om greep te krijgen op zijn leven. Op basis hiervan worden in deze bundel nieuwe aspecten van Polaks leven en werk belicht: zijn denken over schuld en vergelding, zijn verhouding tot grote filosofen als Spinoza en Heymans en zijn houding tegenover het nationaalsocialisme, maar ook zijn familieleven, zijn boekenverzameling en zijn geestelijke nalatenschap. (shrink)

Historians of science and the philosophy of science find the substance and stance of Isaac Beeckman's thought highly interesting, for it represented an early attempt to develop a comprehensive picture of the world by means of mechanistic theory, that is, forces acting upon one another. Besides possibly influencing Descartes, this view broke away from medieval religious assumptions and belief in occult forces. Berkel teases out Beeckman's evolving approach to nature by means of his extensive journals, explaining the leading concept (...) of "picturability." Beeckman supplied a stepping stone (one still not widely appreciated) on the path that led to the scientific revolution. (shrink)

We present a logic of agency called LAE whose language includes propositional constants for actions and expectations. The logic is based on Von Wright’s theory of agency in general and his analysis of instrumentality in particular. An axiomatization of the logic, including an independence of agents axiom, is provided and soundness and completeness are shown with respect to its intended class of frames. The framework of LAE will allow us to formally define a manifold of concepts involved in agency theories, (...) including Von Wright’s four elementary forms of action, the notion of forbearance and notions of instrumentality that make reference to an agent’s expectations. (shrink)

From 22-25 May, 1999, the University of Groningen hosted an international conference on 'The Book of Nature. Continuity and change in European and American attitudes towards the natural world'. From Antiquity down to our own time, theologians, philosophers and scientists have often compared nature to a book, which might, under the right circumstances, be read and interpreted in order to come closer to the 'Author' of nature, God. The 'reading' of this book was not regarded as mere idle curiosity, but (...) it was seen as leading to a deeper understanding of God's wisdom and power, and it culturally legitimated and promoted a positive attitude towards nature and its study. A selection of the papers which were delivered at the conference has been edited in two volumes. The first deals with the perception of the Book of Nature in Antiquity and the Middle Ages; the second volume is devoted to the history of the concept in early modern and modern history. (shrink)

Ibn al-Sāʿī, Consorts of the Caliphs: Women and the Court of Baghdad. Edited by Shawkat M. Toorawa, translated by Editors of LAL. Library of Arabic Literature. New York: New York University Press, 2015. Pp. xlv + 226. $30.

The objective of Working Group 4 of the COST Action NET4Age-Friendly is to examine existing policies, advocacy, and funding opportunities and to build up relations with policy makers and funding organisations. Also, to synthesize and improve existing knowledge and models to develop from effective business and evaluation models, as well as to guarantee quality and education, proper dissemination and ensure the future of the Action. The Working Group further aims to enable capacity building to improve interdisciplinary participation, to promote knowledge (...) exchange and to foster a cross-European interdisciplinary research capacity, to improve cooperation and co-creation with cross-sectors stakeholders and to introduce and educate students SHAFE implementation and sustainability. To enable the achievement of the objectives of Working Group 4, the Leader of the Working Group, the Chair and Vice-Chair, in close cooperation with the Science Communication Coordinator, developed a template to map the current state of SHAFE policies, funding opportunities and networking in the COST member countries of the Action. On invitation, the Working Group lead received contributions from 37 countries, in a total of 85 Action members. The contributions provide an overview of the diversity of SHAFE policies and opportunities in Europe and beyond. These were not edited or revised and are a result of the main areas of expertise and knowledge of the contributors; thus, gaps in areas or content are possible and these shall be further explored in the following works and reports of this WG. But this preliminary mapping is of huge importance to proceed with the WG activities. In the following chapters, an introduction on the need of SHAFE policies is presented, followed by a summary of the main approaches to be pursued for the next period of work. The deliverable finishes with the opportunities of capacity building, networking and funding that will be relevant to undertake within the frame of Working Group 4 and the total COST Action. The total of country contributions is presented in the annex of this deliverable. (shrink)

In our daily lives, we continuously evaluate feedback information, update our knowledge, and adapt our behavior in order to reach desired goals. This ability to learn from feedback information, however, declines with age. Previous research has indicated that certain higher-level learning processes, such as feedback evaluation, integration of feedback information, and updating of knowledge, seem to be affected by age, and recent studies have shown how the adaption of choice behavior following feedback can differ with age. The neural mechanisms underlying (...) this age-related change in choice behavior during learning, however, remain unclear. The aim of this study is therefore to investigate the relation between learning-related neural processes and choice behavior during feedback learning in two age groups. Behavioral and fMRI data were collected, while a group of young and older adults performed a probabilistic learning task consisting of 10 blocks of 20 trials each. On each trial, the participants chose between a house and a face, after which they received visual feedback. In each block, either the house or the face image had a higher probability of yielding a reward. Participants were instructed to try to maximize their gains. Our results showed that less successful learning in older adults, as indicated by a lower learning rate, corresponded with a higher tendency to switch to the other stimulus option, and with a reduced adaptation of this switch choice behavior following positive feedback. At the neural level, activation following positive and negative feedback was found to be less distinctive in the older adults, due to a smaller feedback-evaluation response to positive feedback in this group. Furthermore, whereas young adults displayed increased levels of knowledge updating prior to adapting choice behavior, we did not find this effect in older adults. Together, our results suggest that diminished learning performance with age corresponds with diminished evaluation of positive feedback and reduced knowledge updating related to changes in choice behavior, indicating how such differences in feedback processing at the trial level in older adults might lead to reduced learning performance across trials. (shrink)

Genomic research results and incidental findings with health implications for a research participant are of potential interest not only to the participant, but also to the participant's family. Yet investigators lack guidance on return of results to relatives, including after the participant's death. In this paper, a national working group offers consensus analysis and recommendations, including an ethical framework to guide investigators in managing this challenging issue, before and after the participant's death.

Returning genomic research results to family members raises complex questions. Genomic research on life-limiting conditions such as cancer, and research involving storage and reanalysis of data and specimens long into the future, makes these questions pressing. This author group, funded by an NIH grant, published consensus recommendations presenting a framework. This follow-up paper offers concrete guidance and tools for implementation. The group collected and analyzed relevant documents and guidance, including tools from the Clinical Sequencing Exploratory Research Consortium. The authors then (...) negotiated a consensus toolkit of processes and documents. That toolkit offers sample consent and notification documents plus decision flow-charts to address return of results to family of living and deceased participants, in adult and pediatric research. Core concerns are eliciting participant preferences on sharing results with family and on choice of a representative to make decisions about sharing after participant death. (shrink)

The way a rational agent changes her belief in certain propositions/hypotheses in the light of new evidence lies at the heart of Bayesian inference. The basic natural assumption, as summarized in van Fraassen's Reflection Principle, would be that in the absence of new evidence the belief should not change. Yet, there are examples that are claimed to violate this assumption. The apparent paradox presented by such examples, if not settled, would demonstrate the inconsistency and/or incompleteness of the Bayesian approach, and (...) without eliminating this inconsistency, the approach cannot be regarded as scientific. The Sleeping Beauty Problem is just such an example. The existing attempts to solve the problem fall into three categories. The first two share the view that new evidence is absent, but differ about the conclusion of whether Sleeping Beauty should change her belief or not, and why. The third category is characterized by the view that, after all, new evidence is involved. My solution is radically different and does not fall into either of these categories. I deflate the paradox by arguing that the two different degrees of belief presented in the Sleeping Beauty Problem are in fact beliefs in two different propositions, i.e., there is no need to explain the change of belief. The Sleeping Beauty Problem The Problem Deflated 2.1 From contradiction to consistency 2.2 The inanimate version 2.3 Back to SB Summary CiteULike Connotea Del.icio.us What's this? (shrink)

Preface Introduction Christopher J. Berry: Adam Smith: Outline of Life, Times, and Legacy Part One: Adam Smith: Heritage and Contemporaries 1: Nicholas Phillipson: Adam Smith: A Biographer's Reflections 2: Leonidas Montes: Newtonianism and Adam Smith 3: Dennis C. Rasmussen: Adam Smith and Rousseau: Enlightenment and counter-Enlightenment 4: Christopher J. Berry: Adam Smith and Early Modern Thought Part Two: Adam Smith on Language, Art and Culture 5: Catherine Labio: Adam Smith's Aesthetics 6: James Chandler: Adam Smith as Critic 7: (...) Michael C. Amrozowicz: Adam Smith: History and Poetics 8: C. Jan Swearingen: Adam Smith on Language and Rhetoric: The Ethics of Style, Character, and Propriety Part Three: Adam Smith and Moral Philosophy 9: Christel Fricke: Adam Smith: The Sympathetic Process and the Origin and Function of Conscience 10: Duncan Kelly: Adam Smith and the Limits of Sympathy 11: Ryan Patrick Hanley: Adam Smith and Virtue 12: Eugene Heath: Adam Smith and Self-Interest Part Four: Adam Smith and Economics 13: Tony Aspromourgos: Adam Smith on Labour and Capital 14: Nerio Naldi: Adam Smith on Value and Prices 15: Hugh Rockoff: Adam Smith on Money, Banking, and the Price Level 16: Maria Pia Paganelli: Commercial Relations: from Adam Smith to Field Experiments Part Five: Adam Smith on History and Politics 17: Spiros Tegos: Adam Smith: Theorist of Corruption 18: David M. Levy & Sandra J. Peart: Adam Smith and the State: Language and Reform 19: Fabrizio Simon: Adam Smith and the Law 20: Edwin van de Haar: Adam Smith on Empire and International Relations Part Six: Adam Smith on Social Relations 21: Richard Boyd: Adam Smith, Civility, and Civil Society 22: Gavin Kennedy: Adam Smith on Religion 23: Samuel Fleischacker: Adam Smith and Equality 24: Maureen Harkin: Adam Smith and Women Part Seven; Adam Smith: Legacy and Influence 25: Spencer J. Pack: Adam Smith and Marx 26: Craig Smith: Adam Smith and the New Right 27: Tom Campbell: Adam Smith: Methods, Morals and Markets 28: Amartya Sen: The Contemporary Relevance of Adam Smith. (shrink)

Amsterdam University Press is a leading publisher of academic books, journals and textbooks in the Humanities and Social Sciences. Our aim is to make current research available to scholars, students, innovators, and the general public. AUP stands for scholarly excellence, global presence, and engagement with the international academic community.